| 1. Identity statement | |
| Reference Type | Conference Paper (Conference Proceedings) |
| Site | plutao.sid.inpe.br |
| Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identifier | 8JMKD3MGP3W/3GDQ9ES |
| Repository | sid.inpe.br/plutao/2014/06.03.19.45.15 |
| Last Update | 2014:09.18.14.09.54 (UTC) administrator |
| Metadata Repository | sid.inpe.br/plutao/2014/06.03.19.45.16 |
| Metadata Last Update | 2018:06.04.23.39.30 (UTC) administrator |
| DOI | 10.2514/6.2014-1676 |
| ISBN | 9781624102219 |
| Label | lattes: 3237709114127674 1 RomeroFerr:2014:SeSpSy |
| Citation Key | RomeroSchnFerr:2014:SeSpSy |
| Title | Semantics in space systems architectures  |
| Year | 2014 |
| Access Date | 2024, May 18 |
| Secondary Type | PRE CI |
| Number of Files | 1 |
| Size | 431 KiB |
| 2. Context | |
| Author | 1 Romero, Alessandro Gerlinger 2 Schneider, Klaus 3 Ferreira, Maurício Gonçalves Vieira |
| Resume Identifier | 1 2 3 8JMKD3MGP5W/3C9JHT8 |
| Group | 1 CSE-ETES-SPG-INPE-MCTI-GOV-BR 2 3 CRC-CRC-INPE-MCTI-GOV-BR |
| Affiliation | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 University of Kaiserslautern 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
| Author e-Mail Address | 1 2 3 mauricio@ccs.inpe.br |
| e-Mail Address | marcelo.pazos@inpe.br |
| Conference Name | International Conference on Space Operations, 13. |
| Conference Location | Pasadena |
| Date | may 5-9, 2014. |
| Publisher | American Institute of Aeronautics and Astronautics |
| Pages | 14pp |
| Book Title | Proceedings |
| Tertiary Type | Paper |
| History (UTC) | 2014-06-03 19:45:16 :: lattes -> administrator :: 2018-06-04 23:39:30 :: administrator -> marcelo.pazos@inpe.br :: 2014 |
| 3. Content and structure | |
| Is the master or a copy? | is the master |
| Content Stage | completed |
| Transferable | 1 |
| Content Type | External Contribution |
| Version Type | publisher |
| Keywords | space systems architectures |
| Abstract | Costs, life cycles, technologies and agreements between stakeholders and organizations make space systems unique with respect to complexity. A commonly accepted technique to address part of this complexity is to model and to maintain space systems architectures through the life cycle of their space programs. The benefits may range from supporting consistent model definitions and maintenance up to supporting analysis and verification. Space systems architectures have been modeled using UPDM (Unified Profile for DoDAF And MODAF). In fact, UPDM argues that it provides clearer understanding of the semantics behind specific views and viewpoints. Nonetheless, while UML defines its semantics imprecisely using plain text and variation points, UPDM does not define any semantics. In this paper, we evaluate an extension of fUML (semantics of a foundational subset for executable UML models) as a semantic foundation for space systems architectures. The extension of fUML as a synchronous language provides a limited, but formally precise and deterministic, form to describe structure and behavior in UML. Through the combination of this semantics foundation with UPDM, a precise language supporting a standardized meta-model emerges for the definition of space systems architectures. At the end, a simplified case study covering the operational view (OV-*) is presented. Our initial results show that synchronous fUML is able to offer semantics for UPDM. |
| Area | ETES |
| Arrangement 1 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CSE > Semantics in space... |
| Arrangement 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > Semantics in space... |
| doc Directory Content | access |
| source Directory Content | there are no files |
| agreement Directory Content | there are no files |
| 4. Conditions of access and use | |
| data URL | http://urlib.net/ibi/8JMKD3MGP3W/3GDQ9ES |
| zipped data URL | http://urlib.net/zip/8JMKD3MGP3W/3GDQ9ES |
| Language | en |
| Target File | RoSF14c.pdf |
| User Group | lattes marcelo.pazos@inpe.br |
| Reader Group | administrator marcelo.pazos@inpe.br |
| Visibility | shown |
| Read Permission | allow from all |
| Update Permission | not transferred |
| 5. Allied materials | |
| Mirror Repository | iconet.com.br/banon/2006/11.26.21.31 |
| Next Higher Units | 8JMKD3MGPCW/3F35BSP 8JMKD3MGPCW/3F3PAJE |
| Citing Item List | sid.inpe.br/bibdigital/2013/10.19.00.29 3 sid.inpe.br/bibdigital/2013/10.14.22.20 1 sid.inpe.br/mtc-m21/2012/07.13.14.56.30 1 |
| Host Collection | dpi.inpe.br/plutao@80/2008/08.19.15.01 |
| 6. Notes | |
| Empty Fields | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination edition editor format issn lineage mark nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url volume |
| 7. Description control | |
| e-Mail (login) | marcelo.pazos@inpe.br |
| update | |